Distributed computing - PDFSEARCH.IO - Document Search Engine

Distributed computing
Results: 9411

#	Item
531	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
532	1 Clippee: A Large-Scale Client/Peer System Keno Albrecht, Ruedi Arnold, Roger Wattenhofer {kenoa,rarnold,wattenhofer}@inf.ethz.ch Department of Computer Science, ETH Zurich, 8092 Zurich, Switzerland Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:13:22 File sharing networks Inter-process communication File sharing Clientserver model Network architecture Distributed computing Peer-to-peer Server Gnutella Denial-of-service attack Social peer-to-peer processes JXTA
533	CAPSL Computer Architecture and Parallel Systems Laboratory Department of Electrical and Computer Engineering GUANG R. GAO University of Delaware Add to Reading List Source URL: www.capsl.udel.edu Language: English - Date: 2015-02-12 15:30:45 Guang Gao International Parallel and Distributed Processing Symposium Open64 International Federation for Information Processing Computer architecture Actor model Parallel computing Arvind Ian F. Akyildiz
534	RTI Connext Tools Accelerate Development of Your Distributed Systems Looking to speed your time to market? Connext® Tools give you deep visibility into your running systems, help troubleshoot application connectivity an Add to Reading List Source URL: www.rti.com Language: English - Date: 2016-06-23 21:36:20 Message-oriented middleware Data Distribution Service Wireshark Microsoft Excel RTI Distributed computing architecture Modeling and simulation
535	1 Accountability in Cloud Computing and Distributed Computer Systems Hongda Xiao Department of Electrical Engineering Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2014-12-29 08:47:01 Cloud infrastructure Cloud computing
536	Challenges in Experimenting with Botnet Detection Systems Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-08-24 13:54:47 Computer network security Multi-agent systems Spamming Botnet Cyberwarfare Distributed computing
537	Mace: Language Support for Building Distributed Systems Charles Killian James W. Anderson Ryan Braud Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-29 03:37:10 Distributed data storage Network architecture Wireless networking Distributed hash table File sharing Routing Internet protocol suite Wireless sensor network Distributed computing Chord Computer network Pastry
538	Design of Parallel and High-Performance Computing Fall 2015 Lecture: Lock-Free and distributed memory Motivational video: https://www.youtube.com/watch?v=PuCx50FdSic Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-30 04:19:15 Concurrency control Lock Consensus Non-blocking algorithm Linearizability Thread Synchronization Parallel computing Ticket lock Monitor
539	TOSCA4Mashups Enhanced Method for On-Demand Data Mashup Provisioning Pascal Hirmer & Add to Reading List Source URL: www.summersoc.eu Language: English - Date: 2016-06-28 10:30:42 Data management Cloud infrastructure Cloud computing Big data Scalability Distributed file system for cloud Data-intensive computing
540	GoSpark: An In-Memory Distributed Computation Platform in Go Kuan-Ting Yu CSAIL MIT Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:02 Parallel computing Apache Software Foundation Cloud infrastructure Hadoop Apache Spark Cluster computing Apache Hadoop MapReduce Scheduling Data-intensive computing Computer cluster Fold

UPDATE